Always-Valid Domain Model
/kawasima/Always-Valid Domain Model
考え方は昔からあるが、この言葉の出自は
Vladimir Khorikov
さんだと思われる。
ドメインオブジェクトは、Validな状態でしか生成・存在できないようにしよう
https://enterprisecraftsmanship.com/posts/always-valid-domain-model/
https://codeopinion.com/always-valid-domain-model
型にフラグなので足していくとフラグの組み合わせ的に変なものも型として表現できてしまう
代数的データ型
で過不足なくあり得る状態を型に表現しよう、となる
Make Illegal States Unrepresentable